#ifndef __EKF_SYS_I_H__
#define __EKF_SYS_I_H__

/* Get the system configuration and fill them into kern_sysconf */
int sys_init_kern(void);
/* The read init for user sysconf would be defered */
int sys_init(void);

#endif
